The coupled-cluster formalism – a mathematical perspective

ABSTRACT

The Coupled-Cluster (CC) theory is one of the most successful high precision methods used to solve the stationary Schrödinger equation. In this article, we address the mathematical foundation of this theory with focus on the advances made in the past decade. Rather than solely relying on spectral gap assumptions (non-degeneracy of the ground state), we highlight the importance of coercivity assumptions – Gårding type inequalities – for the local uniqueness of the CC solution. Based on local strong monotonicity, different sufficient conditions for a local unique solution are suggested. One of the criteria assumes the relative smallness of the total cluster amplitudes (after possibly removing the single amplitudes) compared to the Gårding constants. In the extended CC theory the Lagrange multipliers are wave function parameters and, by means of the bivariational principle, we here derive a connection between the exact cluster amplitudes and the Lagrange multipliers. This relation might prove useful when determining the quality of a CC solution. Furthermore, the use of an Aubin–Nitsche duality type method in different CC approaches is discussed and contrasted with the bivariational principle.     

Two-dimensional vortex sheets for the nonisentropic Euler equations: Nonlinear stability

We show the short-time existence and nonlinear stability of vortex sheets for the nonisentropic compressible Euler equations in two spatial dimensions, based on the weakly linear stability result of Morando and Trebeschi (2008) [20]. The missing normal derivatives are compensated through the equations of the linearized vorticity and entropy when deriving higher-order energy estimates. The proof of the resolution for this nonlinear problem follows from certain a priori tame estimates on the effective linear problem in the usual Sobolev spaces and a suitable Nash–Moser iteration scheme.     

Carathéodory's method for a class of dynamic games

The method of equivalent variational methods, originally due to Carathéodory for free problems in the calculus of variations is extended to investigate feedback Nash equilibria for a class of n-person differential games. Both the finite-horizon and infinite-horizon cases are considered. Examples are given to illustrate the presented results.     

Stable multi-sets

In this paper we introduce a generalization of stable sets: stable multi-sets. A stable multi-set is an assignment of integers to the vertices of a graph, such that specified bounds on vertices and edges are not exceeded. In case all vertex and edge bounds equal one, stable multi-sets are equivalent to stable sets.  For the stable multi-set problem, we derive reduction rules and study the associated polytope. We state necessary and sufficient conditions for the extreme points of the linear relaxation to be integer. These conditions generalize the conditions for the stable set polytope. Moreover, the classes of odd cycle and clique inequalities for stable sets are generalized to stable multi-sets and conditions for them to be facet defining are determined.  The study of stable multi-sets is initiated by optimization problems in the field of telecommunication networks. Stable multi-sets emerge as an important substructure in the design of optical networks. Received: February 14, 2001/Revised version: September 7, 2001     

Equilibrium Problems with Applications to Eigenvalue Problems

In this paper, we consider equilibrium problems and introduce the concept of (S)₊ condition for bifunctions. Existence results for equilibrium problems with the (S)₊ condition are derived. As special cases, we obtain several existence results for the generalized nonlinear variational inequality studied by Ding and Tarafdar (Ref. 1) and the generalized variational inequality studied by Cubiotti and Yao (Ref. 2). Finally, applications to a class of eigenvalue problems are given.     

Equilibrium in Queueing Systems with Complementary Products

We study a model of a queueing system with two complementary products/services. In our model, there is one M/M/1 system and another facility that provides instantaneous service. The two services are complementary and the customer has no benefit from obtaining just one of them. We investigate the model under various price structures and ownership assumptions.AMS subject classification: 90B22, 91A10The authors are equal in their contribution to this paper. This paper is submitted by the first author to the Tokyo Institute of Technology as partial fulfillment of the requirements for the Ph.D. program in the Department of Value and Decision Sciences, and the order of names was chosen in compliance with program conditions. This research was supported by the Israel Science Foundation (grant No. 237/02).     

Convergence analysis of a modified inexact implicit method for general mixed monotone variational inequalities

We consider a useful modification of the inexact implicit method with a variable parameter in Wang et al. J Optim Theory 111: 431–443 (2001) for generalized mixed monotone variational inequalities. One of the contributions of the proposed method in this paper is that the restrictions imposed on the variable parameter are weaker than the ones in Wang et al. J Optim Theory 111: 431–443 (2001). Another contribution is that we establish a sufficient and necessary condition for the convergence of the proposed method to a solution of the general mixed monotone variational inequality.     

Enclosure results for quasilinear systems of variational inequalities

In this paper we consider systems of quasilinear elliptic variational inequalities, and prove the existence of minimal and maximal (in the set theoretical sense) solutions within some ordered interval of an appropriately defined pair of sub- and supersolutions. We show that the notion of sub- and supersolutions of variational inequalities introduced here is consistent with the usual notion of sub-supersolutions for (variational) equations. For weakly coupled quasimonotone systems of variational inequalities the existence of smallest and greatest solutions is proved.     

A priori estimates and existence of positive solutions for strongly nonlinear problems

In this paper we study the existence of positive solutions for a nonlinear Dirichlet problem involving the m-Laplacian. The nonlinearity considered depends on the first derivatives; in such case, variational methods cannot be applied. So, we make use of topological methods to prove the existence of solutions. We combine a blow-up argument and a Liouville-type theorem to obtain a priori estimates. Some Harnack-type inequalities which are needed in our reasonings are also proved.     

管理中的Nash平衡与Braess悖论现象

本给出了交通规划、经济贸易以及其它管理中的一些Nash平衡和Braess悖论实例，分析了Nash平衡和Braess悖论现象及其本质特征，指出它们在管理工作中具有普遗性和潜在应用性。